Proposition 6.2.4

Every inductive sequence of -algebras has an inductive limit , in addition, the following all hold.

  1. (Where the index is {to,from})
  2. If and are as in the uniqueness property of inductive limit, then;
    (a) for all .
    (b) is injective if and only if
    (c) is surjective if and only if